TAGs: fix hdmi port